Casper Hendrik Rautenbach: 'Deeds, more than ideas, make life meaningful'Professor Casper Hendrik Rautenbach was born on 6th of March 1902 in Zeerust in the Western Transvaal, RSA, where he matriculated at the Zeerust Public School at the end of 1918. In June 1923 he was awarded the MA degree in Philosophy and at the end of the same year the BD degree in Theology. In 1932 he completed his thesis, titled 'Sedelike Keuring '. After serving as clergyman in the Nederduitsch (...) Hervormde Kerk van Afrika, and as lecturer in Philosophy and Christian Ethics, he was promoted to Rector of the University of Pretoria, an office which he held from the 9th of April 1948 until the 30th of June 1970. Professor Rautenbach is respected as an outstanding academic and leading churchman. He achieved outstanding results in the educational field especially by playing an active role in the formulation of the Education Policy Act. (shrink)

This article describes a new type of medical-legal partnership (MLP) that targets the health and justice concerns of people enmeshed in the U.S criminal justice system: a partnership between clinicians who care for people with criminal system involvement and public defenders. This partnership offers an opportunity to not only improve patient health outcomes but also to facilitate less punitive court dispositions, such as jointly advocating for community-based rehabilitation and treatment rather than incarceration.

Parameters of a Bertalanffy type of temperature dependent growth model are fitted using data from a population of stone loach ( Barbatula barbatula ). Over two periods respectively in 1990 and 2010 length data of this population has been collected at a lowland stream in the central part of the Netherlands. The estimation of the maximum length of a fully grown individual is given special attention because it is in fact found as the result of an extrapolation over a large (...) interval of the entire lifetime. It is concluded that this parameter should not at forehand be set at one fixed value for the population at that location due to varying conditions over the years. (shrink)

New challenges are constantly emerging in the social sector in South Africa. Various social (non-profit) organisations are developing new and innovative ways to accommodate these challenges and to meet social needs. The aim of this research article is to measure the current social innovation capacity of the Dutch Reformed Church (DR Church), with reference to innovation capabilities, to determine at what level the church is meeting new social needs. Semi-structured interviews were conducted to collect data from six different congregations and (...) a governing body in the Pretoria area, South Africa, was included. Twelve participants were interviewed between August and October 2017. The participants, consisting of ministers and board members, each held a management position. The social innovation capacity measurement of the DR Church showed that the organisation was successfully developing new ways to serve as a social agent in society. There are obstacles that prohibit the DR Church from developing new innovative ways to meet the social needs of its society, for example, entrepreneurial, developmental and leadership change capacities. Recommendations are made to maximise social innovation capacity of the managers (ministers and board members). (shrink)

The most notorious and celebrated forger of the twentieth century, Han van Meegeren (1889-1947), was born in the Dutch town of Deventer. He was fascinated by drawing as a child, and pursued it despite his father’s disapproval, sometimes spending all his pocket money on art supplies. In high school he was able finally to receive professional instruction, and went on to study architecture, according to his father’s wishes. In 1911 he married Anna de Voogt. His artistic talents were recognized (...) when he soon after won first prize and a gold medal from the General Sciences Section of the Delft Institute of Technology for a drawing of a church interior. He agreed to sell this drawing, but was discovered by his wife making a copy of it to sell as the original. She dissuaded him from carrying out this small swindle, but the incident is the first evidence of an interest in faking, even if in this case the artist was merely forging his own prize-winning work. (shrink)

After Jacobus Henricus van't Hoff had passed away on 1 March 1911, his pupil Charles Marinus van Deventer wrote a very personal ‘in memoriam’ in the Dutch literary periodical De Gids, pointing out that van't Hoff had merely been interested in scientific facts, not in the people discovering these facts. Van't Hoff considered the study of the history of chemistry, although by no means uncongenial, a matter of little importance. He once even said: ‘To me historical research appears to (...) be appropriate for a chemist in the decline of life, when he no longer creates professional ideas, and when the laboratory has become a burden to him’. Although van Deventer had studied physical chemistry at van't Hoff's Amsterdam laboratory and had been his assistant from 1885 until 1893, he disagreed with this verdict. Van Deventer was not only a capable physical chemist, he was also an active member of the Tachtigers, a circle of Dutch poets who around 1880 brought about a renewal in Dutch literature. He took a special interest in Greek philosophy. He did not graduate with van't Hoff, but with his colleague Jan Willem Gunning . His thesis was not based on physical-chemical, but on historical research: Schetsen uit de Geschiedenis van de Scheikunde . From 1922 to 1923 he lectured on the history of chemistry at Utrecht University. His fascinating lectures were published as Grepen uit de Historie der Chemie . This work reveals his particular interest in the development of chemical concepts. (shrink)

According to Peter van Inwagen, visible inanimate objects do not, strictly speaking, exist. In defending this controversial thesis, he offers fresh insights on such topics as personal identity, commonsense belief, existence over time, the phenomenon of vagueness, and the relation between metaphysics and ordinary language.

Bas C. van Fraassen presents an original exploration of how we represent the world.

The goal of the book is to present the latest research on the new challenges of data technologies. It will offer an overview of the social, ethical and legal problems posed by group profiling, big data and predictive analysis and of the different approaches and methods that can be used to address them. In doing so, it will help the reader to gain a better grasp of the ethical and legal conundrums posed by group profiling. The volume first maps the (...) current and emerging uses of new data technologies and clarifies the promises and dangers of group profiling in real life situations. It then balances this with an analysis of how far the current legal paradigm grants group rights to privacy and data protection, and discusses possible routes to addressing these problems. Finally, an afterword gathers the conclusions reached by the different authors and discuss future perspectives on regulating new data technologies. (shrink)

In _Modal Logic for Open Minds,_ Johan van Benthem provides an up-to-date introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, semantics, bisimulation, and axiomatics, and also covers more advanced topics, such as expressive power and computational complexity. The book then moves to a wide range of applications, including new developments in information flow, intelligent agency, (...) and games. Taken together, the chapters show modal logic at the crossroads of philosophy, mathematics, linguistics, computer science, and economics. Most of the chapters are followed by exercises, making this volume ideal for undergraduate and graduate students in philosophy, computer science, symbolic systems, cognitive science, and linguistics. (shrink)

Artificial Intelligence (AI) is increasingly adopted in society, creating numerous opportunities but at the same time posing ethical challenges. Many of these are familiar, such as issues of fairness, responsibility and privacy, but are presented in a new and challenging guise due to our limited ability to steer and predict the outputs of AI systems. This chapter first introduces these ethical challenges, stressing that overviews of values are a good starting point but frequently fail to suffice due to the context (...) sensitivity of ethical challenges. Frequently, additional (ethical) values emerge for specific applications, as e.g. challenges with fraud detection are very different from those around language technologies. Second, methods to tackle these challenges are discussed. Main ethical theories (virtue ethics, consequentialism, and deontology) are shown to provide a starting point, but often lack the details needed for actionable AI Ethics. Instead, mid-level philosophical theories coupled to design-approaches such as Design for Values, together with interdisciplinary working methods, offer the best way forwards. The chapter aims to show how these approaches can lead to an ethics of AI that is actionable and that can be proactively integrated in the design of AI systems. (shrink)

This text explores a set of key concepts in Marxist theory as developed and read by Lacan, demonstrating links and connections between Marxist thought and Lacanian practice. The book examines the complexity of these encounters through the structure of a comprehensive vocabulary which covers diverse areas, from capitalism and communism to history, ideology, politics, work, and family. Offering new perspectives on these concepts in psychoanalysis, as well as in the fields of political and critical theory, the book brings together contributions (...) from a range of international experts to demonstrate the dynamic relationship between Marx and Lacan, as well as illuminating 'untranslatable points' which may offer productive tension between the two. The entries trace the trajectory of Lacan's appropriation of Marx's concepts and analyses how they were questioned, criticized and reworked by Lacan, accounting for the wide reach of two thinkers and worlds in constant homology. Each entry also discusses psychoanalytic debates relating to the concept and seeks to refine the clinical scope of Marx's work, demonstrating its impact on the social and individual dimensions of Lacanian clinical practice. With a practical and structured approach, The Marx Through Lacan Vocabulary will appeal to psychoanalysts and researchers in a range of fields, including political science, cultural studies, and philosophy. (shrink)

This book gathers together thirteen of Peter van Inwagen's essays on metaphysics, several of which have acquired the status of modern classics in their field. They range widely across such topics as Quine's philosophy of quantification, the ontology of fiction, the part-whole relation, the theory of 'temporal parts', and human knowledge of modal truths. In addition, van Inwagen considers the question as to whether the psychological continuity theory of personal identity is compatible with materialism, and defends the thesis that possible (...) states of affairs are abstract objects, in opposition to David Lewis's 'extreme modal realism'. A specially-written introduction completes the collection, which will be an invaluable resource for anyone interested in metaphysics. (shrink)

Inspired by Bas van Fraassen’s Stance Empiricism, Anjan Chakravartty has developed a pluralistic account of what he calls epistemic stances towards scientific ontology. In this paper, I examine whether Chakravartty’s stance pluralism can exclude epistemic stances that licence pseudo-scientific practices like those found in Scientology. I argue that it cannot. Chakravartty’s stance pluralism is therefore prone to a form of debilitating relativism. I consequently argue that we need (1) some ground or constraint in relation to which epistemic stances can be (...) ranked by degrees, and (2) some way to demarcate science from pseudo-science so that we know what epistemic stances are about. Regarding (1), I argue that empirical detectability can serve as the ground in relation to which epistemic stances are ranked by degrees. Regarding (2), I argue for ranking sciences on a continuum according to established institutional criteria, rather than attempting to draw a strict demarcation. (shrink)

We appreciate that the theme “ethics of ethics conferences” that we introduced in 2023 (Van der Graaf et al. 2023) was echoed by the previous and current presidents of the International Association...

Este artículo sostiene que Platón constituye un interlocutor fructífero para la Teoría crítica. Desde un diálogo con Axel Honneth, argumentaremos primero que la metodología de crítica social desarrollada en la República posee elementos constructivo-racionales y reconstructivo-hermenéuticos. Luego, enfatizaremos dos conceptos prefigurados en dicha obra que, mediante Hegel, yacen en el trasfondo de la Teoría crítica, a saber: holismo y patología social. Ello nos permitirá articular, como conclusión, una “dialéctica de la justicia” que, en el sentido de Adorno & Horkheimer, recorre (...) la obra de Honneth. (shrink)

Cảm xúc là yếu tố cơ bản thúc đẩy con người đưa ra quyết định và xử lý thông tin. Sợ hãi là một trong những cảm xúc phổ biến nhất ảnh hưởng đến hành vi của nhà đầu tư cá nhân trên thị trường chứng khoán. Mặc dù nhiều nghiên cứu đã được thực hiện để khám phá tác động của nỗi sợ hãi đối với hiệu quả đầu tư và hành vi giao dịch của nhà đầu tư cá (...) nhân, nhưng vẫn còn rất ít thông tin về các yếu tố ảnh hưởng đến nỗi sợ hãi của nhà đầu tư cá nhân trong thời kỳ thị trường sụt giảm (hoặc những giai đoạn cực kỳ biến động). Vì thế, nghiên cứu này được thực hiện để tìm hiểu liệu các nguồn thông tin ảnh hưởng đến quyết định đầu tư của nhà đầu tư có ảnh hưởng đến sự sợ hãi của họ khi khủng hoảng xảy ra hay không. Nghiên cứu đã sử dụng phương pháp phân tích Bayesian Mindsponge Framework (BMF) trên bộ dữ liệu từ 1526 nhà đầu tư Trung Quốc và Việt Nam. Kết quả nghiên cứu chỉ ra rằng các nhà đầu tư tiếp cận các loại thông tin khác nhau khi đưa ra quyết định đầu tư sẽ ảnh hưởng đến tần suất phản ứng sợ hãi khác nhau. Cụ thể, các nhà đầu tư tham khảo thông tin từ chuyên gia hoặc tự phân tích khi đưa ra quyết định đầu tư ít bị đóng băng (biểu hiện của tâm lý sợ hãi) hơn trong thời kỳ thị trường sụt giảm. Ngược lại, những người đưa ra quyết định đầu tư dựa trên thông tin từ người quen hay bạn bè và trực giác sẽ bị đóng băng thường xuyên hơn. Kết quả nghiên cứu này giúp gợi ý nhà đầu tư cá nhân nên trang bị cho mình các kiến thức về tài chính cũng như tham khảo các ý kiến chuyên gia trên thị trường, hoặc những nguồn thông tin đáng tin cậy, khi đưa ra quyết định đầu tư. Bên cạnh đó, cơ quan quản lý thị trường cần có hoạt động phổ cập kiến thức về thị trường chứng khoán, hạn chế ảnh hưởng của các kênh thông tin không chính thống, và khuyến khích nhà đầu tư ít kinh nghiệm mua chứng chỉ quỹ của các quỹ đầu tư. (shrink)

Brouwer’s view on induction has relatively recently been characterised as one on which it is not only intuitive (as expected) but functional, by van Dalen. He claims that Brouwer’s ‘Ur-intuition’ also yields the recursor. Appealing to Husserl’s phenomenology, I offer an analysis of Brouwer’s view that supports this characterisation and claim, even if assigning the primary role to the iterator instead. Contrasts are drawn to accounts of induction by Poincaré, Heyting, and Kreisel. On the phenomenological side, the analysis provides an (...) alternative to that in Tieszen’s Mathematical Intuition, and confirms a view of Gödel on his Dialectica Interpretation. (shrink)

Van Vugt, van der Velde, and collaborators show how cognitive architectures can implement verbal theories of psychiatric problems. They show how one theory of depressive rumination can be implemented in the ACT‐R cognitive architecture by changing the contents of its simulated memory. These manipulations of memory habits lead the model to show impairments in a sustained attention task‐‐a plausible impairment given that people who suffer from depression have concentration complaints.

In this article, I examine the relation between Bateson and Guattari’s ecological thoughts: two thinkers whose ecological ideas at first sight have a lot in common. In order to show the difference between the thoughts of both thinkers, I will take my clue from Guattari’s remark that he parts ways with Bateson on the role of context. Explaining the role of context in both authors will allow me to show how Guattari’s thought implies both an endorsement and a critique of (...) cybernetics, and, specifically, promoting a machinic rather than cybernetic ecology. I will conclude by indicating what is at stake in this distinction. (shrink)

The concept of affordances is rapidly gaining traction in the philosophy of mind and cognitive sciences. Affordances are opportunities for action provided by the environment. An important open question is whether affordances can be used to explain mental action such as attention, counting, and imagination. In this paper, we critically discuss McClelland’s (‘The Mental Affordance Hypothesis’, 2020, Mind, 129(514), pp. 401–427) mental affordance hypothesis. While we agree that the affordance concept can be fruitfully employed to explain mental action, we argue (...) that McClelland’s mental affordance hypothesis contain remnants of a Cartesian understanding of the mind. By discussing the theoretical framework of the affordance competition hypothesis, we sketch an alternative research program based on the principles of embodied cognition that evades the Cartesian worries. We show how paradigmatic mental acts, such as imagination, counting, and arithmetic, are dependent on sensorimotor interaction with an affording environment. Rather than make a clear distinction between bodily and mental action, the mental affordances highlight the embodied nature of our mental action. We think that in developing our alternative research program on mental affordances, we can maintain many of the excellent insights of McClelland’s account without reintroducing the very distinctions that affordances were supposed to overcome. (shrink)

In the scholium to proposition 49 of Part 2 of the Ethics, Spinoza addresses a number of prejudices that tend to obscure the essentially judgmental nature of ideas. One warning is issued against those who do not distinguish accurately between ideas and images, and, for this exact reason, fail to see that every idea, insofar as it is an idea, always involves an affirmation that something is the case. This paper shows that in order to properly understand Spinoza's remarks in (...) this passage, we must redirect attention to Descartes’ Meditations on First Philosophy, and more particularly to the objections raised against them by Hobbes. Specifically, I argue for the identification of Hobbes and other likeminded “imagists” as Spinoza's main targets, and not, as is often assumed, Descartes himself or Cartesians in general. My identification not only resolves interpretative confusion surrounding this passage, but it also confirms Spinoza's commitment to a key rationalist assumption: the existence of a mind that can grasp or exhibit natures by clear and distinct perceptions. While both adequate and inadequate ideas are necessitated beliefs or judgments in which we assent to something, virtue consists in being propelled by the intellect. (shrink)

The dominant idea in debates on social inclusion of people with intellectual disabilities is that social inclusion requires recognition of their ‘sameness’. As a result, most care providers try to enable people with intellectual disabilities to live and participate in ‘normal’ society, ‘in the community’. In this paper, we draw on (Pols, Medicine Health Care and Philosophy 18:81–90, 2015) empirical ethics of care approach to give an in-depth picture of places that have a radically different take on what social inclusion (...) for people with intellectual disabilities looks like: places known as ‘sheltered living institutions’. We argue these places can be seen as ‘communities of difference’ catered to the specific needs and capacities of the residents. We then contend that these communities raise questions about what a good life for people with intellectual disabilities looks like and where and how it ought to be realised; questions not posed very often, as they get muzzled by the dominant rhetoric of normalisation and the emphasis on sameness. (shrink)

In The Entangled Brain, Pessoa criticizes standard approaches in cognitive neuroscience in which the brain is seen as a functionally decomposable, modular system with causal operations built up hierarchically. Instead, he advocates for an emergentist perspective whereby dynamic brain networks are associated, not with traditional psychological categories, but with behavioral functions characterized in evolutionary terms. Here, we raise a number of concerns with such a radical approach. We ultimately believe that while much revision to cognitive neuroscience is welcome and needed, (...) Pessoa’s more radical proposals may be counterproductive. (shrink)

Episodic representations can be entertained either as “remembered” or “imagined”—as outcomes of experience or as simulations of such experience. Here, we argue that this feature is the product of a dedicated cognitive function: the metacognitive capacity to determine the mnemicity of mental event simulations. We argue that mnemicity attribution should be distinguished from other metacognitive operations (such as reality monitoring) and propose that this attribution is a “cognitive gadget”—a distinctively human ability made possible by cultural learning. Cultural learning is a (...) type of social learning in which traits are inherited through social interaction. In the case of mnemicity, one culturally learns to discriminate metacognitive “feelings of remembering” from other perceptual, emotional, action-related, and metacognitive feelings; to interpret feelings of remembering as indicators of memory rather than imagination; and to broadcast the interpreted feelings in culture- and context-specific ways, such as “I was there” or “I witnessed it myself.” We review evidence from the literature on memory development and scaffolding, metacognitive learning and teaching, as well as cross-cultural psychology in support of this view before pointing out various open questions about the nature and development of mnemicity highlighted by our account. (shrink)

There is a long history and growing evidence base that the use of drugs, such as anabolic-androgenic steroids, to enhance human performance is common amongst armed forces, including in Australia. We should not be surprised that this might have occurred for it has long been predicted by observers. It is a commonplace of many recent discussion of the future of warfare and future military technology to proclaim the imminent arrival of Super Soldiers, whose capacities are modified via drugs, digital technology (...) and genetic engineering, in ways that increase their performance exponentially. This is what some observers have referred to as the “Gladiator Model” wherein the aim is to create soldiers able to perform feats of which ordinary citizens are not capable. One key aspect of this “gladiator project” is the use of illicit drugs to enhance performance. Could we use drugs, such as steroids or amphetamines, to enhance performance? Should we use such drugs? In this paper we explore the ethics of creating Super Soldiers, and raise issues of consent, coercion and the extent to which such use is permitted or condemned by just war theory. We conclude that much will depend on the extent to which such use is harmful to the soldiers themselves and this is still an open question. (shrink)

This study examined cancer patients’ perceived emotional and informational support from a variety of interpersonal and media sources. We recruited patients from cancer patient association websites and online cancer forums and asked them to report to what extent they received support from interpersonal and media sources. Patients rated professional sources and personal sources as nearly equal sources of emotional support; however, professional sources were rated as significantly greater sources of informational support. Although family and oncologists were the most mentioned interpersonal (...) sources of support, they were also the most mentioned disappointing sources. Of the media sources, online interaction sources were rated as nearly equivalent sources of emotional support as interpersonal sources. That patients perceived emotional support, not only informational support, from various media sources is promising since interpersonal sources can be disappointing to some patients. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

The purpose of this paper is to show the pervasive, though often implicit, role of arguments in negotiation dialogue. This holds even for negotiations that start from a difference of interest such as mere bargaining through offers and counteroffers. But it certainly holds for negotiations that try to settle a difference of opinion on policy issues. It will be demonstrated how a series of offers and counteroffers in a negotiation dialogue contains a reconstructible series of implicit persuasion dialogues. The paper (...) is a sequel to van Laar and Krabbe, in which we showed that for some differences of opinion it may be reasonable to shift from persuasion dialogue, aimed at a resolution of the difference on the merits, to negotiation dialogue, aimed at compromise, whereas in the present paper we show that such a shift need not amount to the abandonment of argumentation. Our main aim in this paper as well as in the previous one is to contribute to the theory of argumentation within the context of negotiation and compromise formation. (shrink)

Reinhard Finster, Gerd van den Heuvel: "Gottfried Wilhelm Leibniz". Mit Selbstzeugnissen und Bilddokumenten. rowohlts monographien. Rowohlt Taschenbuch Verlag, Reinbek 1990. 158 S., br., 10,80 DM.

This paper aims to show that dominant conceptions of intelligence used in artificial intelligence (AI) are biased by normative assumptions that originate from the Global North, making it questionable if AI can be uncritically applied elsewhere without risking serious harm to vulnerable people. After the introduction in Sect. 1 we shortly present the history of IQ testing in Sect. 2, focusing on its multiple discriminatory biases. To determine how these biases came into existence, we define intelligence ontologically and underline its (...) constructed and culturally variable character. Turning to AI, specifically the Turing Test (TT), in Sect. 3, we critically examine its underlying intelligence conceptions. The test has been of central influence in AI research and remains an important point of orientation. We argue that both the test itself and how it is used in practice risk promoting a limited conception of intelligence which solely originated in the Global North. Hence, this conception should be critically assessed in relation to the different global contexts in which AI technologies are and will be used. In Sect. 4, we highlight how unequal power relations in AI research are a real threat, rather than just philosophical sophistry while considering the history of IQ testing and the TT’s practical biases. In the last section, we examine the limits of our account and identify fields for further investigation. Tracing colonial continuities in AI intelligence research, this paper points to a more diverse and historically aware approach to the design, development, and use of AI. (shrink)

Kit Fine’s contribution to logic is vast and diverse; the chapters in this book deal with a significant part of it. In this introductory chapter, we clarify and contextualize the main themes of Fine’s work that are centre stage in this book, after which we give a summary of each chapter.

Why should interpretation of conceptual schemes and practices across traditions work at all? In this paper we present the following necessary conditions of possibility for interpretation in comparative and Chinese philosophy: the interpreter must presuppose that there are mutually recognizable human practices; the interpreter must presuppose that “the other” is, on the whole, sincere, consistent, and right; the interpreter must be committed to certain epistemic virtues. Some of these necessary conditions are consistent with the fact that interpretation is not thwarted (...) by the “danger” of relativism or of incommensurability. Some other conditions are suggestive of reorientations of methodologies of comparative and Chinese philosophy. (shrink)

Much of everyday language is vague, even in situations where vagueness could have been avoided. Yet the benefits of vagueness for hearers and readers are proving to be elusive. We discuss a range of earlier controlled experiments with human participants, and we report on a new series of experiments that we ourselves have conducted in recent years. These experiments, which focus on vague expressions that are part of referential noun phrases, aim to separate the utility of vagueness from the utility (...) of other factors that tend to co-occur with vagueness. After presenting the evidence, we argue that it supports a view where the benefits that vague terms exert are due to other influences, and not to vagueness itself. (shrink)

Sound and complete axiomatizations are provided for a number of different logics involving modalities for the knowledge of multiple agents and operators for branching time, extending previous work of Halpern, van der Meyden and Vardi [to appear, SIAM Journal on Computing] for logics of knowledge and linear time. The paper considers the system constraints of synchrony, perfect recall and unique initial states, which give rise to interaction axioms. The language is based on the temporal logic CTL*, interpreted with respect to (...) a version of the bundle semantics. (shrink)